COMMENT ā VALID 00002 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 (setq pat '(($r ?a recura) ($r ?b recurb))) C00003 ENDMK Cā; (setq pat '(($r ?a recura) ($r ?b recurb))) (setq dat '(((a))((((b)))))) (defun recura (x) (cond ((atom x) (eq x 'a)) (t (%umatch '(($r ?a recura)) x)))) (defun recurb (x) (cond ((atom x) (eq x 'b)) (t (%umatch '(($r ?a recurb)) x)))) (%umatch pat dat)